More from this Author

Intelligent Computer Mathematics

by Cezary Kaliszyk (Editor), Edwin Brady (Editor), Andrea Kohlhase (Editor), Claudio Sacerdoti Coen (Editor)